Jane Hillston - PDFSEARCH.IO - Document Search Engine

Jane Hillston
Results: 47

#	Item
21	Introduction Bio-PEPA: Syntax and semantics Model Analysis Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-02 10:57:34 Process calculi Theoretical computer science PEPA Jane Hillston Process calculus Mathematics Semantics -calculus Calculus Stochastic Model checking TAPAs model checker
22	Fluid Approximation for Stochastic Model Checking Jane Hillston joint work with Luca Bortolussi Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-11-02 11:12:32 Probability theory Stochastic processes Statistics Probability Markov models Markov processes Statistical models Stochastic simulation Markov chain Fluid queue Economic model Stochastic
23	Introduction Model Analysis Tool Support Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-05-30 12:50:22 Markov models Markov processes Statistics Graph theory Markov chain Data Jane Hillston Laboratory for Foundations of Computer Science Chain Stochastic process Stochastic Computing
24	Introduction to Systems Biology Challenges Stochastic Process Algebra for Biology Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-05-01 01:56:38 Bioinformatics Jane Hillston Stochastic Laboratory for Foundations of Computer Science Scientific modelling Systems biology Edinburgh Epistemology Science and technology
25	SPA — From Individuals to Populations Stochastic Process Algebras — From Individuals to Populations Jane Hillston Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-02-28 06:04:18 Process calculus Algebra over a field Stochastic process Stochastic Process calculi Data Computing Information
26	Applying for an Athena SWAN Award Jane Hillston School of Informatics 1st December 2014 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2015-03-03 07:19:50 Religion Greek mythology Accreditation Athena SWAN Gender equality Mythology Athena Jane Hillston
27	The Bio-PEPA Workbench The Bio-PEPA Eclipse Plug-in The Bio-PEPA Tool Suite Jane Hillston Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-09 05:09:59 Software Jane Hillston Process calculi PEPA Hillston New South Wales Workbench Eclipse Informatics Process calculus
28	Introduction Bio-PEPA Bio-PEPAd Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-11-02 11:12:32 PEPA Process calculi Jane Hillston Process calculus
29	Introduction Compositionality: Interaction and Independence Applications and Acceptance Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:39:14 Process calculi Jane Hillston PEPA Laboratory for Foundations of Computer Science Markov chain Principle of compositionality Process calculus Edinburgh Philosophy Theoretical computer science
30	FBTCSome investigations concerning the CTMC and the ODE model derived from Bio-PEPA Federica Ciocchetta 1 ,a , Andrea Degasperi Jane Hillston 3 ,a and Muffy Calder 4 ,b Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-13 03:56:15 Chemistry Chemical reaction engineering Nature Markov processes Markov models Chemical kinetics PEPA Process calculi Markov chain Stoichiometry Chemical reaction Rate equation